Examples of principal ideal domain in abstract algebra